aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-05-15 18:11:01 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-05-15 18:11:01 +0200
commit8294ab8932b299577f6a0db551a2ae9b401d3dd4 (patch)
tree54b39769b1a7673cd23430498a107390e1db4408 /GNUmakefile
parent93cad3b4b3a5cd1a2be74cb5ab3e1ca1a90270b6 (diff)
parent79da06cda38a8dc1d79937704f028a2562451fbf (diff)
Merge branch 'master' into compile_odes
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile
index 3fe25aad..30576682 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -95,7 +95,7 @@ move-sd:
r-forge: sd move-sd
git archive master > $(HOME)/mkin.tar;\
cd $(RFDIR) && rm -r `ls` && tar -xf $(HOME)/mkin.tar;\
- svn add --force .; cd $(RFSVN) && svn commit -m 'sync with git'
+ svn add --force .; svn rm --force `svn status | grep "\!" | cut -d " " -f 8`; cd $(RFSVN) && svn commit -m 'sync with git'
winbuilder: build
date

Contact - Imprint