diff options
Diffstat (limited to 'xmds2/realistic_Rb/Makefile')
| -rw-r--r-- | xmds2/realistic_Rb/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/xmds2/realistic_Rb/Makefile b/xmds2/realistic_Rb/Makefile index 34d73e1..ae7d4a9 100644 --- a/xmds2/realistic_Rb/Makefile +++ b/xmds2/realistic_Rb/Makefile @@ -47,8 +47,13 @@ $(png_targets): %.png : %.pdf pdf: $(pdf_targets) test: + cp $(XMDS_FILES) tests/testsuite/ cd tests; ./run_tests.py +test_from_scratch: + rm -r tests/testsuite_results + + $(pdf_targets): %.pdf : %.eps cat $< | ps2eps -B > __tt.eps epspdf __tt.eps $@ |