diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-10-07 02:40:56 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-07 02:40:56 +0300 |
| commit | 90ec4a40d04100d0c7d1d5e1f80c12742e8883d3 (patch) | |
| tree | a1234320efa4f33b6c6f18f9b197be7aabdd7415 /Makefile.in | |
| parent | 336c264a324d708a3b5a72c1c086b74dc76c1b0f (diff) | |
| parent | 872fc8d4f4a8ea60a1d97da4ca724c7b70e1af18 (diff) | |
| download | hercules-90ec4a40d04100d0c7d1d5e1f80c12742e8883d3.tar.gz hercules-90ec4a40d04100d0c7d1d5e1f80c12742e8883d3.tar.bz2 hercules-90ec4a40d04100d0c7d1d5e1f80c12742e8883d3.tar.xz hercules-90ec4a40d04100d0c7d1d5e1f80c12742e8883d3.zip | |
Merge pull request #1464 from MishimaHaruna/variousfixes
Build / CI improvements
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index be7ae674f..3de5e0bf3 100644 --- a/Makefile.in +++ b/Makefile.in @@ -80,7 +80,7 @@ all: $(ALL_DEPENDS) sql: $(SQL_DEPENDS) -$(MF_TARGETS): %: %.in +$(MF_TARGETS): %: %.in config.status @echo " CONFIGURE" @if [ -x config.status ]; then \ echo "Reconfiguring with options: $$(./config.status --config)"; \ |