diff options
Diffstat (limited to 'src/local.mk')
-rw-r--r-- | src/local.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/local.mk b/src/local.mk index 9e0848c2..bbed7b76 100644 --- a/src/local.mk +++ b/src/local.mk @@ -111,7 +111,9 @@ BUILT_SOURCES += \ ## yacc. ## ## ------ ## -bin_SCRIPTS = $(YACC_SCRIPT) +if ENABLE_YACC +bin_SCRIPTS = src/yacc +endif EXTRA_SCRIPTS = src/yacc MOSTLYCLEANFILES += src/yacc |