diff options
-rwxr-xr-x | tools/make-shared-from-static | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/make-shared-from-static b/tools/make-shared-from-static index 6b4100c..df18ead 100755 --- a/tools/make-shared-from-static +++ b/tools/make-shared-from-static @@ -1,5 +1,8 @@ #!/usr/bin/env bash +# Taken from: +# http://hg.octave.org/mxe-octave/file/tip/tools/make-shared-from-static + set -e . tools/compat-init.sh |