Thread

1. /bin/sh: !: not found

   Alexander Klimov <ask@wisdom.weizmann.ac.il> — 2000-12-23T15:03:45Z

   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
   
   
   

2. Re: /bin/sh: !: not found

   Peter Eisentraut <peter_e@gmx.net> — 2000-12-30T00:35:13Z

   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/