diff options
-rw-r--r-- | translate/gcc/dist-common.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/translate/gcc/dist-common.sh b/translate/gcc/dist-common.sh index cf2382e..fa63791 100644 --- a/translate/gcc/dist-common.sh +++ b/translate/gcc/dist-common.sh @@ -90,8 +90,8 @@ translation.ads trans_decls.ads trans_be.ads trans_be.adb -trans_analyze.ads -trans_analyze.adb" +trans_analyzes.ads +trans_analyzes.adb" ortho_files=" ortho_front.ads" |