diff options
Diffstat (limited to 'src/symbols-extract.tes')
| -rwxr-xr-x | src/symbols-extract.tes | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/symbols-extract.tes b/src/symbols-extract.tes index 9a8a270..da9c207 100755 --- a/src/symbols-extract.tes +++ b/src/symbols-extract.tes @@ -6,8 +6,8 @@ 0,2EJ !* FIXME: Memory limiting is too slow *! -:EMQ[$SCITECOPATH]/getopt.tes -EMQ[$SCITECOPATH]/string.tes +:EIQ[$SCITECOPATH]/getopt.tes +EIQ[$SCITECOPATH]/string.tes !* read commandline arguments *! [getopt.p] |