Merge pull request #1430 from edgarcosta/trunk

quotes around path
flintlib · Sep 28, 2023 · 0c58d3c · 0c58d3c
2 parents 114a48a + 46eb304
commit 0c58d3c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile.in b/Makefile.in
@@ -12,7 +12,7 @@
 FLINT_DIR:=.
 SRC_DIR:=src
 BUILD_DIR:=build
-ABS_FLINT_DIR:=$(patsubst %/,%, $(dir $(abspath $(lastword $(MAKEFILE_LIST)))))
+ABS_FLINT_DIR:='$(patsubst %/,%, $(dir $(abspath $(lastword $(MAKEFILE_LIST)))))'
 ABS_SRC_DIR:=$(ABS_FLINT_DIR)/$(SRC_DIR)
 ABS_BUILD_DIR:=$(ABS_FLINT_DIR)/$(SRC_DIR)