mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-16 07:58:04 +00:00
dcd902f846
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de>
12 lines
340 B
Plaintext
12 lines
340 B
Plaintext
--- runtime/Makefile.orig Tue Jul 18 16:16:44 2000
|
|
+++ runtime/Makefile Wed Apr 10 00:19:10 2002
|
|
@@ -47,7 +47,7 @@
|
|
|
|
install:
|
|
${INSTALL_PROGRAM} camlrunm$(EXE) $(BINDIR)
|
|
- ${INSTALL_PROGRAM} *.h $(INCDIR)
|
|
+ ${INSTALL_DATA} *.h $(INCDIR)
|
|
|
|
primitives : $(PRIMS)
|
|
sed -n -e '/\/\* ML \*\//s/.* \([a-zA-Z0-9_][a-zA-Z0-9_]*\) *(.*/\1/p' \
|