diff options
Diffstat (limited to 'translate')
| -rw-r--r-- | translate/gcc/dist-common.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/translate/gcc/dist-common.sh b/translate/gcc/dist-common.sh index 8ee0c16a0..9de1be4d1 100644 --- a/translate/gcc/dist-common.sh +++ b/translate/gcc/dist-common.sh @@ -299,6 +299,4 @@ psl-rewrites.ads psl-subsets.adb psl-subsets.ads psl-tprint.adb -psl-tprint.ads -sa_bools.adb -sa_bools.ads" +psl-tprint.ads" |