diff options
Diffstat (limited to 'backendC/CleanCompilerSources/cmdline.h')
| -rw-r--r-- | backendC/CleanCompilerSources/cmdline.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/cmdline.h b/backendC/CleanCompilerSources/cmdline.h new file mode 100644 index 0000000..4d84b9c --- /dev/null +++ b/backendC/CleanCompilerSources/cmdline.h @@ -0,0 +1,19 @@ +/************************************************************************ + * * + * Concurrent Clean Simulator: cmdline.h * + * ============================================ * + * * + * * + * Author: Eric Nocker * + * At: Department of Computer Science * + * University of Nijmegen * + * Date: Januari 1991 * + * * + ***********************************************************************/ + + +extern Bool DoMainCommand (void); + +extern Bool InCommandInterpreter; + +/* END of cmdline.h */ |