CURDIR instead of shelling out or PWD

smithy-lang · Oct 24, 2024 · 7a7c143 · 7a7c143
1 parent 28f32c8
commit 7a7c143
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SmithyDafnyMakefile.mk b/SmithyDafnyMakefile.mk
@@ -39,7 +39,7 @@ VERIFY_TIMEOUT := 100
 
 # This evaluates to the path of the current working directory.
 # i.e. The specific library under consideration.
-LIBRARY_ROOT := $(shell pwd)
+LIBRARY_ROOT := $(CURDIR)
 # Smithy Dafny code gen needs to know
 # where the smithy model is.
 # This is generally in the same directory as the library.