Commit 437b5b483cfc80ab784e545014fd7cc9359947af

Thomas de Grivel 2022-05-13T10:08:53

phony

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
diff --git a/lib/configure b/lib/configure
index 4818503..5e6f3cc 100755
--- a/lib/configure
+++ b/lib/configure
@@ -91,3 +91,12 @@ done
 for DIR in $DIRS; do
     (cd $DIR && ./configure)
 done
+
+for TYPE_SRC in $TYPE_SOURCES; do
+    TYPE_PROG="$(c2prog "$TYPE_SRC")"
+    TYPE_H="${TYPE_PROG}.h"
+    rm "$TYPE_H"
+done
+
+echo >> ${CONFIG_MK}
+echo ".PHONY: types libraries install subdirs subdirs-clean subdirs-install" >> ${CONFIG_MK}