X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=modules%2Fsys_time;h=77a20d6cda1fa7980732bafc0236afc34a87629e;hb=e349e3d9c187700b118e0bac80aedd2ea8e764bc;hp=e261583aa6f88c914d77d8130969249fcd476977;hpb=4f2408532c0aba7fbf011ec2f2fef9ed39802265;p=gnulib.git

diff --git a/modules/sys_time b/modules/sys_time
index e261583aa..77a20d6cd 100644
--- a/modules/sys_time
+++ b/modules/sys_time
@@ -22,7 +22,8 @@ sys/time.h: sys_time.in.h
 	rm -f $@-t $@
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
 	  sed -e 's/@''HAVE_SYS_TIME_H''@/$(HAVE_SYS_TIME_H)/g' \
-	      -e 's/@''INCLUDE_NEXT''@/$(INCLUDE_NEXT)/g' \
+	      -e 's|@''INCLUDE_NEXT''@|$(INCLUDE_NEXT)|g' \
+	      -e 's|@''PRAGMA_SYSTEM_HEADER''@|@PRAGMA_SYSTEM_HEADER@|g' \
 	      -e 's|@''NEXT_SYS_TIME_H''@|$(NEXT_SYS_TIME_H)|g' \
 	      -e 's/@''REPLACE_GETTIMEOFDAY''@/$(REPLACE_GETTIMEOFDAY)/g' \
 	      -e 's/@''HAVE_STRUCT_TIMEVAL''@/$(HAVE_STRUCT_TIMEVAL)/g' \