Merge pull request #33 from GaloisInc/bugfix-tutorial-build

Fix find command arguments
rems-project · Jun 18, 2024 · 92c83a5 · 92c83a5
2 parents c56111e + f1fdd39
commit 92c83a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -13,7 +13,7 @@ build:
 ##############################################################################
 # Exercises
 
-SRC_EXAMPLES=$(shell find src/examples -type file)
+SRC_EXAMPLES=$(shell find src/examples -type f)
 SOLUTIONS=$(patsubst src/examples/%, build/solutions/%, $(SRC_EXAMPLES))
 EXERCISES=$(patsubst src/examples/%, build/exercises/%, $(SRC_EXAMPLES))