diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-07-06 23:25:57 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-07-06 23:25:57 +0200 |
| commit | 005de2e8273853e155c21767b1c8bdb4f3f3ca53 (patch) | |
| tree | 1f215bb57b2bc61926e3d27357f7c43e993e73b9 /GNUmakefile | |
| parent | 32299e49e83b941082bee348c993630bb455a324 (diff) | |
| download | guile-005de2e8273853e155c21767b1c8bdb4f3f3ca53.tar.gz | |
Update Gnulib to v0.0-7509-g98a2286.
* Makefile.am (EXTRA_DIST): Add `m4/gnulib-cache.m4'.
* build-aux/git-version-gen: Keep unchanged.
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/GNUmakefile b/GNUmakefile index d0fd3e8cf..58f2ead46 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -20,20 +20,10 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -# Systems where /bin/sh is not the default shell need this. The $(shell) -# command below won't work with e.g. stock DOS/Windows shells. -ifeq ($(wildcard /bin/s[h]),/bin/sh) -SHELL = /bin/sh -else -# will be used only with the next shell-test line, then overwritten -# by a configured-in value -SHELL = sh -endif - # If the user runs GNU make but has not yet run ./configure, # give them a diagnostic. -_have-Makefile := $(shell test -f Makefile && echo yes) -ifeq ($(_have-Makefile),yes) +_gl-Makefile := $(wildcard [M]akefile) +ifneq ($(_gl-Makefile),) # Make tar archive easier to reproduce. export TAR_OPTIONS = --owner=0 --group=0 --numeric-owner |