diff options
Diffstat (limited to 'examples/Makefile')
| -rw-r--r-- | examples/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/Makefile b/examples/Makefile index 1d1399d..2ef61d3 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -6,6 +6,7 @@ all: ifneq ($(shell which ghdl),) @mkdir -p $(TEMP) @echo "##### Checking examples with GHDL ##############################" + ghdl -a --workdir=$(TEMP) signextend.vhd ghdl -a --workdir=$(TEMP) *.vhd endif |
