summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/module.make
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc/extra/module.make')
-rw-r--r--src/misc/extra/module.make1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/misc/extra/module.make b/src/misc/extra/module.make
index a21fd103..9c13c146 100644
--- a/src/misc/extra/module.make
+++ b/src/misc/extra/module.make
@@ -12,6 +12,7 @@ SRC += src/misc/extra/extraBddAuto.c \
src/misc/extra/extraUtilFile.c \
src/misc/extra/extraUtilMemory.c \
src/misc/extra/extraUtilMisc.c \
+ src/misc/extra/extraUtilPerm.c \
src/misc/extra/extraUtilProgress.c \
src/misc/extra/extraUtilReader.c \
src/misc/extra/extraUtilTruth.c \