diff options
-rw-r--r-- | lst/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lst/Makefile b/lst/Makefile index d8a5e9bc..59b0ef3b 100644 --- a/lst/Makefile +++ b/lst/Makefile @@ -19,6 +19,7 @@ clean: check: @../convert/merge2pcitable.pl pcitable pcitable pcitable > /dev/null @../convert/merge2pcitable.pl pcitable usbtable usbtable > /dev/null + @cd ../convert; ./verify_Cards.pl CardsNames: Cards+ ../convert/Cards2CardsNames.pl rm -f $@ |