diff options
Diffstat (limited to 'extended')
| -rw-r--r-- | extended/makefile.gnu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extended/makefile.gnu b/extended/makefile.gnu index 3fc3dd8..3725ea6 100644 --- a/extended/makefile.gnu +++ b/extended/makefile.gnu @@ -88,7 +88,7 @@ $(eval $(call subdir_template,gfsm,../gfsm,)) $(eval $(call subdir_template,deque,../deque,)) $(eval $(call subdir_template,pdstring,../pdstring,--enable-object-externals)) $(eval $(call subdir_template,readdir,../readdir,)) -$(eval $(call subdir_template,sprinkler,../../sprinkler,)) +$(eval $(call subdir_template,sprinkler,../sprinkler,)) $(eval $(call subdir_template,weightmap,../weightmap,)) |