diff options
| author | ronny | 2001-05-09 12:25:45 +0000 |
|---|---|---|
| committer | ronny | 2001-05-09 12:25:45 +0000 |
| commit | 3680b2de04dde99e723d0aab6b9acefd8dc32e3e (patch) | |
| tree | 6267d35012be3e5d8fafa490a77dba6675f283cf | |
| parent | don't analyse idents for Clean 2.0 (diff) | |
bail out if illegal command arguments are passed to the backend
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@409 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | backendC/CleanCompilerSources/backend.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backendC/CleanCompilerSources/backend.c b/backendC/CleanCompilerSources/backend.c index 7915fd3..cf24592 100644 --- a/backendC/CleanCompilerSources/backend.c +++ b/backendC/CleanCompilerSources/backend.c @@ -1,4 +1,3 @@ - #define CODE_INLINE_FLAG #define DYNAMIC_TYPE 1 @@ -2632,7 +2631,8 @@ BEArg (CleanString arg) char *dummy; extern Bool ParseCommandArgs (int argc, char **argv, char **file_name_p, char **output_file_name_p); - (void) ParseCommandArgs (gBEState.be_argc, gBEState.be_argv, &dummy, &dummy); + if (!ParseCommandArgs (gBEState.be_argc, gBEState.be_argv, &dummy, &dummy)) + FatalCompError ("backend", "BEInit", "compilation aborted"); /* FatalCompError ("backend", "BEInit", "FatalCompError in backend"); */ /* ErrorInCompiler ("backend", "BEInit", "ErrorInCompiler in backend"); */ |