aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--contrib/spi/Makefile10
1 files changed, 7 insertions, 3 deletions
diff --git a/contrib/spi/Makefile b/contrib/spi/Makefile
index 5d85b2638e0..e4deb393d43 100644
--- a/contrib/spi/Makefile
+++ b/contrib/spi/Makefile
@@ -9,7 +9,11 @@ ifdef REFINT_VERBOSE
CFLAGS+= -DREFINT_VERBOSE
endif
-TARGETS= refint$(DLSUFFIX) refint.sql
+TARGETS= refint$(DLSUFFIX) refint.sql \
+ timetravel$(DLSUFFIX) timetravel.sql \
+ autoinc$(DLSUFFIX) autoinc.sql \
+ moddatetime$(DLSUFFIX) moddatetime.sql \
+ insert_username$(DLSUFFIX) insert_username.sql
CLEANFILES+= $(TARGETS)
@@ -21,5 +25,5 @@ all:: $(TARGETS)
sed -e "s:_OBJWD_:$$C:g" \
-e "s:_DLSUFFIX_:$(DLSUFFIX):g" < $< > $@
-clean:
- rm -f $(TARGETS)
+clean:
+ rm -f $(TARGETS) *.o