1
0
mirror of https://github.com/dschmenk/PLASMA.git synced 2025-01-23 14:30:48 +00:00
This commit is contained in:
David Schmenk 2020-07-01 09:55:58 -07:00 committed by GitHub
parent 3adb41921c
commit 713a6c6cbe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -507,7 +507,7 @@ include "toolsrc/parse.pla"
// //
// Look at command line arguments and compile module // Look at command line arguments and compile module
// //
puts("PLASMA Compiler, Version 2.0 DP4\n") puts("PLASMA Compiler, Version 2.0 ALPHA1\n")
arg = argNext(argFirst) arg = argNext(argFirst)
if ^arg and ^(arg + 1) == '-' if ^arg and ^(arg + 1) == '-'
opt = arg + 2 opt = arg + 2