diff --git a/WEGA/contrib/ingres/dbs/src/proto/h b/WEGA/contrib/ingres/dbs/src/proto/h new file mode 100644 index 0000000..4dab6d8 --- /dev/null +++ b/WEGA/contrib/ingres/dbs/src/proto/h @@ -0,0 +1,37 @@ +# include "../conf/conf.h" + +SHELL= /bin/sh + +INSTALL: + +install: + +ALLCLEAN: + +allclean: + +CLEAN: + +clean: + +# ifdef WENZLAFF +HOME= /z/dbs/src/h + +SRC= access.h aux.h batch.h catalog.h \ + dbs.h lock.h pipes.h scanner.h \ + symbol.h trace.h tree.h bs.daba \ + bs.ing_db version.h Makefile + +.save: $(SRC) + mount DISK /wrk + CP $? $@ /wrk/h + > $@ + umount DISK + +$(HOME)/.save: $(SRC) + CP $? $(HOME) + > $@ + +.PRECIOUS: .save +.PRECIOUS: $(HOME)/.save +# endif