diff options
Diffstat (limited to 'scripts/restatic.sh')
| -rw-r--r-- | scripts/restatic.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/restatic.sh b/scripts/restatic.sh new file mode 100644 index 00000000..f3f5b7a4 --- /dev/null +++ b/scripts/restatic.sh @@ -0,0 +1,8 @@ +# Simple script to revert the changes made by destatic.sh + +# Allow for the fact that mujs might not be present +MUJS_SRC= +test -d thirdparty/mujs && MUJS_SRC=thirdparty/mujs + +# Convert it all back +sed -i 's!/\*static \*/!static !' $(find source platform/android/viewer platform/java $MUJS_SRC -name '*.c') |