projects / mono.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a701f3) | patch
[offsets-tool] Only create the .stamp-clone file if the clone succeeds.
authorRolf Bjarne Kvinge <rolf@xamarin.com>
Tue, 10 May 2016 17:43:13 +0000 (19:43 +0200)
committerRolf Bjarne Kvinge <rolf@xamarin.com>
Tue, 10 May 2016 17:56:48 +0000 (19:56 +0200)
commitcde9cf18cb5ed5b1fc04e77100f0b6f4be8ad240
tree743adf721d08014dd372a499a9c9db8e7b8e0f37tree | snapshot
parent5a701f39c7d914c5a04da2d33f806b0709b67a5acommit | diff
[offsets-tool] Only create the .stamp-clone file if the clone succeeds.

This makes rebuilds work if the clone was cancelled.
tools/offsets-tool/Makefile diff | blob | history
my mono mirror. check out Moved to http://github.com/mono/mono