Some debugging wrt the manual makefile output and the parsing of --(no)execute
commitf22125d4ed7bc6761f25d3cf6c5f0c210574998b
authorRob <rob@dobby.(none)>
Thu, 30 Jul 2009 12:52:02 +0000 (30 14:52 +0200)
committerRob <rob@dobby.(none)>
Thu, 30 Jul 2009 12:52:02 +0000 (30 14:52 +0200)
treeca3c92d28504efa1acb70d4976be67978ba2f628
parentcd772c261956f17d4e38d430cb0585ba0a608d7a
Some debugging wrt the manual makefile output and the parsing of --(no)execute
signduterre.py