diff options
| -rwxr-xr-x | src/generate-gl-glue.sh | 4 | 
1 files changed, 2 insertions, 2 deletions
| diff --git a/src/generate-gl-glue.sh b/src/generate-gl-glue.sh index f6abf2a..86988f6 100755 --- a/src/generate-gl-glue.sh +++ b/src/generate-gl-glue.sh @@ -51,14 +51,14 @@ done  elif [ "$os" == "mingw32" ] ; then -cat tmp-symbol-list.txt | while read symbol do +cat tmp-symbol-list.txt | while read symbol ; do      echo ".globl _m$symbol"      echo ".def _m$symbol; .scl 2; .type 32; .endef;"      echo "_m$symbol:"      echo "jmp _$symbol"  done -cat tmp-symbol-list.txt | while read symbol do +cat tmp-symbol-list.txt | while read symbol ; do      echo ".def _$symbol; .scl 2; .type 32; .endef;"  done | 
