From a91077596a525b0456a2c234df4a7b0cd1c6ff9f 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