diff options
author | 2017-04-24 03:08:26 (GMT) | |
---|---|---|
committer | 2017-04-24 03:08:26 (GMT) | |
commit | 88fdbac4252744931ebcf80ade547ade525b71f4 (patch) | |
tree | 6c77f523d5c34bbf7ae1df1839f2f4275e505850 /config/config.in | |
parent | 368a0169a27313cca60cf7d7358b6f3ef12122e4 (diff) | |
parent | f98e04388c805a1b97b7a49e0d2da5c9acbcf887 (diff) |
Merge pull request #697 from stilor/makefile-enhancements-orig
Makefile enhancements
Diffstat (limited to 'config/config.in')
-rw-r--r-- | config/config.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/config.in b/config/config.in index 885f722..21b0c7e 100644 --- a/config/config.in +++ b/config/config.in @@ -1,5 +1,4 @@ source "config/configure.in" -source "config/backend.in" source "config/global.in" source "config/target.in" source "config/toolchain.in" |