From 7154db01d1326dc2e0042c650126b7c629e1d7f5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 12 Jan 2010 11:07:39 -0500 Subject: -path and -root command-line flags --- tests/paths.urp | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 tests/paths.urp (limited to 'tests/paths.urp') diff --git a/tests/paths.urp b/tests/paths.urp new file mode 100644 index 00000000..7f3f6f0b --- /dev/null +++ b/tests/paths.urp @@ -0,0 +1,4 @@ +debug + +$TESTS/paths1 +paths2 -- cgit v1.2.3