improve the "all" script to notice if it has changed, and rerun
authorRudolf Polzer <rpolzer@nb-04.(none)>
Mon, 29 Mar 2010 13:17:50 +0000 (15:17 +0200)
committerRudolf Polzer <rpolzer@nb-04.(none)>
Mon, 29 Mar 2010 13:17:50 +0000 (15:17 +0200)
commita3518ca2fb238b13d1bddc4c45855a78c7db7127
tree9b86f7624d3eb1ec359365c89ddea1a453ebc3b1
parentfe9e135a69b6daa403f88421e9e13cfbd5ee4ff5
improve the "all" script to notice if it has changed, and rerun
all