diff options
Diffstat (limited to 'translate/gcc/dist-common.sh')
| -rw-r--r-- | translate/gcc/dist-common.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/translate/gcc/dist-common.sh b/translate/gcc/dist-common.sh index ceef80daf..d7a4970f7 100644 --- a/translate/gcc/dist-common.sh +++ b/translate/gcc/dist-common.sh @@ -39,6 +39,8 @@ configuration.adb configuration.ads nodes.ads nodes.adb +nodes_gc.ads +nodes_gc.adb options.ads options.adb psl-errors.ads |