diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T00·19+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T00·19+0000 |
commit | d3fe6ab024df7764f4de2a9dcf88e2daa981f786 (patch) | |
tree | a1483cc708d50b820c5b2ef75db2bf7cdf8fafea /externals/Makefile.am | |
parent | 096194ab29db244fe791404e02b729a3e38eee8d (diff) |
* Also for convenience, change the ownership of the build output even
in case of failure.
Diffstat (limited to 'externals/Makefile.am')
0 files changed, 0 insertions, 0 deletions