Ensure clean checkouts when building from git repositories.
authorW. Trevor King <wking@drexel.edu>
Sat, 23 Oct 2010 18:24:15 +0000 (14:24 -0400)
committerW. Trevor King <wking@drexel.edu>
Sat, 23 Oct 2010 18:24:15 +0000 (14:24 -0400)
posts/Xmodmap/Makefile
posts/problempack/Makefile
posts/sawsim/Makefile

index ce0d2107145c5400cd9bec3906a1343ecf058625..77259ab64e819c0bcc7801bf1a153e4ab9b94616 100644 (file)
@@ -13,6 +13,7 @@ $(PACKAGE) :
 
 checkout : $(PACKAGE)
        git --git-dir $(<:%=%/.git) --work-tree ../ pull
+       git --git-dir $(<:%=%/.git) --work-tree ../ reset --hard HEAD
 
 _Xmodmap : checkout
        cp $(PACKAGE:%=%/$@) $@
index 4cfa7d875903de4fa52e3bb93876fcfccbd4beba..9f335f64ec7ab0a42d4a199a7090e9b10c2e36e0 100644 (file)
@@ -13,6 +13,7 @@ $(PACKAGE) :
 
 checkout : $(PACKAGE)
        git --git-dir $(<:%=%/.git) --work-tree ../ pull
+       git --git-dir $(<:%=%/.git) --work-tree ../ reset --hard HEAD
 
 %.pdf : checkout
        $(MAKE) -C $(PACKAGE:%=%/test) $@
index b9842f7de2ba7d6c35e088fb76ccaba99482e347..37bbbad8eafd9a1e08c63f457a50f46b1d1edf4a 100644 (file)
@@ -13,6 +13,7 @@ $(PACKAGE) :
 
 checkout : $(PACKAGE)
        git --git-dir $(<:%=%/.git) --work-tree ../ pull
+       git --git-dir $(<:%=%/.git) --work-tree ../ reset --hard HEAD
 
 README.rst : checkout
        cp $(PACKAGE:%=%/README) $@