From 81e80d78f9e911810ce690d35dae47d29f4e1b82 Mon Sep 17 00:00:00 2001 From: Michael Forney Date: Wed, 12 Oct 2016 09:42:27 -0700 Subject: Rename .rev to rev Even though it is not generally useful, it is easy to forget to update if it is hidden. --- setup.rc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'setup.rc') diff --git a/setup.rc b/setup.rc index 3afea9a8..150cf46c 100755 --- a/setup.rc +++ b/setup.rc @@ -47,7 +47,7 @@ fn gen { if(~ $dir .) set outdir '$builddir' if not set outdir '$builddir/$dir' - if([ -e .rev ]) set srcdir '$dir'/src + if([ -e rev ]) set srcdir '$dir'/src . $absdir/gen.rc -- cgit v1.2.3