X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fpthread;h=e29016a447c13d92ab41f70adc7aab4d585b08bd;hb=968e74c2c0e0e74869e210e093f0aa9265b1e5b5;hp=6d064649f045dce0a2f05fd0216c3aa47ae47dee;hpb=66cc02681886cc3da705d0efb7a30a54bc8ce6b4;p=pspp

diff --git a/modules/pthread b/modules/pthread
index 6d064649f0..e29016a447 100644
--- a/modules/pthread
+++ b/modules/pthread
@@ -23,6 +23,7 @@ pthread.h: pthread.in.h
 	  sed -e 's|@''HAVE_PTHREAD_H''@|$(HAVE_PTHREAD_H)|g' \
 	      -e 's|@''INCLUDE_NEXT''@|$(INCLUDE_NEXT)|g' \
 	      -e 's|@''PRAGMA_SYSTEM_HEADER''@|@PRAGMA_SYSTEM_HEADER@|g' \
+	      -e 's|@''PRAGMA_COLUMNS''@|@PRAGMA_COLUMNS@|g' \
 	      -e 's|@''NEXT_PTHREAD_H''@|$(NEXT_PTHREAD_H)|g' \
 	      -e 's|@''HAVE_PTHREAD_T''@|$(HAVE_PTHREAD_T)|g' \
 	      -e 's|@''HAVE_PTHREAD_SPINLOCK_T''@|$(HAVE_PTHREAD_SPINLOCK_T)|g' \