diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/Makefile.in b/Makefile.in index dcc1863..7a0e0e5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -12,6 +12,8 @@ # CC0 1.0 Universal License for more details. SHELL = /bin/sh +VPATH = <<VPATH>> +VERSION = <<VERSION>> # Configuration goes here @@ -50,12 +52,5 @@ distclean: clean Makefile: config.status Makefile.in record.conf ./config.status -config.status: +config.status: record.conf cp "$(srcdir)"/write_makefile.sh config.status - -Makefile.in: - cp "$(srcdir)"/Makefile.in . - -record.conf: - @echo File record.conf not found; rebuild by running configure - @exit 1 |