diff options
Diffstat (limited to 'src/vhdl/Makefile')
| -rw-r--r-- | src/vhdl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vhdl/Makefile b/src/vhdl/Makefile index e4a7c91d5..2ff18046f 100644 --- a/src/vhdl/Makefile +++ b/src/vhdl/Makefile @@ -81,7 +81,7 @@ python/libghdl/std_names.py: $(PNODESPY) ../std_names.ads $(PNODESPY) libghdl-names > $@ chmod -w $@ -python/libghdl/tokens.py: $(PNODESPY) tokens.ads +python/libghdl/tokens.py: $(PNODESPY) vhdl-tokens.ads $(RM) $@ $(PNODESPY) libghdl-tokens > $@ chmod -w $@ |