Makefile to distribute files.
authordrepper <drepper>
Thu, 12 Jun 1997 21:34:01 +0000 (21:34 +0000)
committerdrepper <drepper>
Thu, 12 Jun 1997 21:34:01 +0000 (21:34 +0000)
sysdeps/wordsize-32/Makefile [new file with mode: 0644]
sysdeps/wordsize-64/Dist [new file with mode: 0644]
sysdeps/wordsize-64/Makefile [new file with mode: 0644]

diff --git a/sysdeps/wordsize-32/Makefile b/sysdeps/wordsize-32/Makefile
new file mode 100644 (file)
index 0000000..73b64ed
--- /dev/null
@@ -0,0 +1,3 @@
+ifeq ($(subdir),stdlib)
+sysdep_headers += inttypes.h
+endif
\ No newline at end of file
diff --git a/sysdeps/wordsize-64/Dist b/sysdeps/wordsize-64/Dist
new file mode 100644 (file)
index 0000000..625e4d0
--- /dev/null
@@ -0,0 +1 @@
+inttypes.h
\ No newline at end of file
diff --git a/sysdeps/wordsize-64/Makefile b/sysdeps/wordsize-64/Makefile
new file mode 100644 (file)
index 0000000..73b64ed
--- /dev/null
@@ -0,0 +1,3 @@
+ifeq ($(subdir),stdlib)
+sysdep_headers += inttypes.h
+endif
\ No newline at end of file