X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=modules%2Ftime;h=50b07afb29ceb049a36139b4c6cc2a566c7829a4;hb=0aeacfbbc772ef589c713039cf8ee2ab40595b03;hp=9cdfa4c936f01ba3df429c7e844aa108fcc5ae5d;hpb=9ac0b22ea04bd638026bc0047f7ad714092d02cc;p=gnulib.git

diff --git a/modules/time b/modules/time
index 9cdfa4c93..50b07afb2 100644
--- a/modules/time
+++ b/modules/time
@@ -20,7 +20,8 @@ BUILT_SOURCES += time.h
 time.h: time.in.h
 	rm -f $@-t $@
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */' && \
-	  sed -e 's/@''INCLUDE_NEXT''@/$(INCLUDE_NEXT)/g' \
+	  sed -e 's|@''INCLUDE_NEXT''@|$(INCLUDE_NEXT)|g' \
+	      -e 's|@''PRAGMA_SYSTEM_HEADER''@|@PRAGMA_SYSTEM_HEADER@|g' \
 	      -e 's|@NEXT_TIME_H''@|$(NEXT_TIME_H)|g' \
 	      -e 's|@REPLACE_LOCALTIME_R''@|$(REPLACE_LOCALTIME_R)|g' \
 	      -e 's|@REPLACE_NANOSLEEP''@|$(REPLACE_NANOSLEEP)|g' \