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 \
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 \
58 --compilation_level ADVANCED \
59 --warning_level VERBOSE \
60 --js_output_file /dev
/null