tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

test-webgl2.sh (2264B)


      1 #!/bin/sh
      2 
      3 : ${JAVA:=java}
      4 
      5 # Temporary shell script to help shake out the bugs to webgl2.js until
      6 # it's folded back into the Closure workspace.
      7 $JAVA -jar ../../../../closure/compiler.jar \
      8  --use_only_custom_externs \
      9  --js test-webgl2.js \
     10  --externs temp_externs/chrome.js \
     11  --externs temp_externs/deprecated.js \
     12  --externs temp_externs/es3.js \
     13  --externs temp_externs/es5.js \
     14  --externs temp_externs/es6.js \
     15  --externs temp_externs/es6_collections.js \
     16  --externs temp_externs/fileapi.js \
     17  --externs temp_externs/flash.js \
     18  --externs temp_externs/gecko_css.js \
     19  --externs temp_externs/gecko_dom.js \
     20  --externs temp_externs/gecko_event.js \
     21  --externs temp_externs/gecko_xml.js \
     22  --externs temp_externs/google.js \
     23  --externs temp_externs/html5.js \
     24  --externs temp_externs/ie_css.js \
     25  --externs temp_externs/ie_dom.js \
     26  --externs temp_externs/ie_event.js \
     27  --externs temp_externs/ie_vml.js \
     28  --externs temp_externs/intl.js \
     29  --externs temp_externs/iphone.js \
     30  --externs temp_externs/mediasource.js \
     31  --externs temp_externs/page_visibility.js \
     32  --externs temp_externs/v8.js \
     33  --externs temp_externs/w3c_anim_timing.js \
     34  --externs temp_externs/w3c_css.js \
     35  --externs temp_externs/w3c_css3d.js \
     36  --externs temp_externs/w3c_device_sensor_event.js \
     37  --externs temp_externs/w3c_dom1.js \
     38  --externs temp_externs/w3c_dom2.js \
     39  --externs temp_externs/w3c_dom3.js \
     40  --externs temp_externs/w3c_elementtraversal.js \
     41  --externs temp_externs/w3c_encoding.js \
     42  --externs temp_externs/w3c_event.js \
     43  --externs temp_externs/w3c_event3.js \
     44  --externs temp_externs/w3c_geolocation.js \
     45  --externs temp_externs/w3c_indexeddb.js \
     46  --externs temp_externs/w3c_navigation_timing.js \
     47  --externs temp_externs/w3c_range.js \
     48  --externs temp_externs/w3c_rtc.js \
     49  --externs temp_externs/w3c_selectors.js \
     50  --externs temp_externs/w3c_xml.js \
     51  --externs temp_externs/webkit_css.js \
     52  --externs temp_externs/webkit_dom.js \
     53  --externs temp_externs/webkit_event.js \
     54  --externs temp_externs/webkit_notifications.js \
     55  --externs temp_externs/webstorage.js \
     56  --externs temp_externs/window.js \
     57  --externs webgl2.js \
     58  --compilation_level ADVANCED \
     59  --warning_level VERBOSE \
     60  --js_output_file /dev/null