diff options
Diffstat (limited to 'translate/gcc/dist-common.sh')
| -rw-r--r-- | translate/gcc/dist-common.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/translate/gcc/dist-common.sh b/translate/gcc/dist-common.sh index 442e81dbb..e74ba9281 100644 --- a/translate/gcc/dist-common.sh +++ b/translate/gcc/dist-common.sh @@ -160,6 +160,8 @@ grt-disp.adb grt-disp.ads grt-disp_rti.adb grt-disp_rti.ads +grt-disp_tree.adb +grt-disp_tree.ads grt-disp_signals.adb grt-disp_signals.ads grt-errors.adb @@ -176,6 +178,8 @@ grt-lib.adb grt-lib.ads grt-main.adb grt-main.ads +grt-modules.ads +grt-modules.adb grt-names.adb grt-names.ads grt-options.adb |