/bin/sh: !: not found

Started by Alexander Klimovover 25 years ago2 messagesbugs
Jump to latest
#1Alexander Klimov
ask@wisdom.weizmann.ac.il

Hi.

I using version from CVS, and after update tried to run `make
distclean'. For some reason my GNUMakefile was deleted, so Makefile is
used by gmake and I got an error message (see Subj)

The reason is
@if ! [ -f GNUmakefile ] ; then \
^^^ in the Makefile

To fix it should be changed to
@if [ ! -f GNUmakefile ] ; then \

This problem exists in Makefile and src/Makefile, maybe somethere else

Regards,
ASK

#2Peter Eisentraut
peter_e@gmx.net
In reply to: Alexander Klimov (#1)
Re: /bin/sh: !: not found

Alexander Klimov writes:

I using version from CVS, and after update tried to run `make
distclean'. For some reason my GNUMakefile was deleted, so Makefile is
used by gmake and I got an error message (see Subj)

The reason is
@if ! [ -f GNUmakefile ] ; then \
^^^ in the Makefile

To fix it should be changed to
@if [ ! -f GNUmakefile ] ; then \

This problem exists in Makefile and src/Makefile, maybe somethere else

Fixed. Thanks.

(Btw., it's normal that GNUmakefile is removed during 'make distclean'.)

--
Peter Eisentraut peter_e@gmx.net http://yi.org/peter-e/