diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2019-04-29 19:22:48 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2019-04-29 19:22:48 -0700 |
| commit | c7888220b30e5933b76c0d5359c6f56874859fee (patch) | |
| tree | 3b55b9177725ed26f5f8b3b90e8f2bc116aeaa3d /Makefile | |
| parent | 06d0ada8a9ff7078f8ab89d5b4ce36f04587dc62 (diff) | |
| download | txr-c7888220b30e5933b76c0d5359c6f56874859fee.tar.gz txr-c7888220b30e5933b76c0d5359c6f56874859fee.tar.bz2 txr-c7888220b30e5933b76c0d5359c6f56874859fee.zip | |
build: allow $(pwd)/configure to work.
When the build is being done in the source directory, allow
the configure script to be executed via path names other than
just ./configure, such as an absolute path.
Some distros use this.
* configure (build_in_srcdir): New variable.
(inode): New function.
Rather than checking whether "$source_dir" is ".", we test
whether they are the same inode. If they are the same, we now
also set the build_in_srcdir variable in addition to
generating the usual warning.
(gen_config_make): Propagate the build_in_srcdir into
config.make.
* Makefile: use the build_in_srcdir variable from config.make
to determine whether we are building in the source directory,
rather than relying on top_srcdir being blank.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -203,7 +203,7 @@ notconfigured: $(V)exit 1 endif -ifneq ($(top_srcdir),) +ifneq ($(build_in_srcdir),y) ifneq ($(wildcard $(top_srcdir)/config.h $(top_srcdir)/y.tab.h),) .PHONY: tainted tainted: |