We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fa2e3cf commit 08372d4Copy full SHA for 08372d4
src/include/Makefile
@@ -6,7 +6,7 @@
6
# programming. 'make install-all-headers' installs the whole contents
7
# of src/include.
8
#
9
-# $Header: /cvsroot/pgsql/src/include/Makefile,v 1.7 2001/02/20 20:37:13 tgl Exp $
+# $Header: /cvsroot/pgsql/src/include/Makefile,v 1.8 2001/03/01 16:17:53 petere Exp $
10
11
#-------------------------------------------------------------------------
12
@@ -78,7 +78,7 @@ remove-old-headers:
78
: ; \
79
else \
80
rm -f $(DESTDIR)$(includedir)/$$file; \
81
- fi \
+ fi ; \
82
done
83
84
0 commit comments