diff options
Diffstat (limited to 'src/resp.cpp')
| -rw-r--r-- | src/resp.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/resp.cpp b/src/resp.cpp index b0d1f72..51e5ea6 100644 --- a/src/resp.cpp +++ b/src/resp.cpp @@ -80,6 +80,7 @@ print_usage(char* name, bool error) os << " -R Reduce to simpler forms only" << endl; os << " -C Convert to CPS only" << endl; os << " -L Lambda lift only" << endl; + os << " -D Depoly only" << endl; os << " -F Flatten only" << endl; os << " -S Compile to assembly only (do not execute)" << endl; @@ -101,6 +102,7 @@ main(int argc, char** argv) } else if (!strncmp(argv[i], "-C", 3) || !strncmp(argv[i], "-F", 3) || !strncmp(argv[i], "-L", 3) + || !strncmp(argv[i], "-D", 3) || !strncmp(argv[i], "-P", 3) || !strncmp(argv[i], "-R", 3) || !strncmp(argv[i], "-S", 3) |