diff options
Diffstat (limited to 'techlibs')
| -rw-r--r-- | techlibs/common/Makefile.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/techlibs/common/Makefile.inc b/techlibs/common/Makefile.inc index 7c8cc2f66..0607ca1a1 100644 --- a/techlibs/common/Makefile.inc +++ b/techlibs/common/Makefile.inc @@ -1,5 +1,7 @@ +ifneq ($(SMALL),1) OBJS += techlibs/common/synth.o +endif EXTRA_TARGETS += techlibs/common/blackbox.v |