| OLD | NEW |
| (Empty) | |
| 1 #!/bin/sh |
| 2 |
| 3 # NOTE: You should only have to run this script if you add a new resource |
| 4 # (html, js, image) file. |
| 5 |
| 6 # This script generates lines for resources_sources.gypi (standalone) |
| 7 # and devtools.gypi (Dartium) for the current deployed Observatory. |
| 8 |
| 9 if [ ! -d deployed ]; then |
| 10 echo "Please run inside client directory" |
| 11 fi |
| 12 |
| 13 PREFIX="vmservice/client" |
| 14 echo "For resources_sources.gypi:" |
| 15 for i in `find deployed/web/ -not -type d -not -path '*/\.*'`; do |
| 16 echo "'$PREFIX/$i'," |
| 17 done |
| 18 |
| 19 PREFIX="../../../../dart/runtime/bin/vmservice/client" |
| 20 echo "For devtools.gypi:" |
| 21 for i in `find deployed/web/ -not -type d -not -path '*/\.*'`; do |
| 22 echo "'$PREFIX/$i'," |
| 23 done |
| OLD | NEW |