]> git.zerfleddert.de Git - raggedstone/commitdiff
fix broken grep
authormichael <michael>
Sat, 10 Feb 2007 22:14:06 +0000 (22:14 +0000)
committermichael <michael>
Sat, 10 Feb 2007 22:14:06 +0000 (22:14 +0000)
heartbeat/Makefile

index ac41e7363f797adbfc5b1d53ff2fef2044e9ccb9..d645c38d0551a81dbd6e90c1baadf249475c634e 100644 (file)
@@ -62,7 +62,7 @@ final:
        -mv $(PROJECT).unroutes *.xml $(TMP)
        -mv $(PROJECT)*.map $(TMP)
        -mv $(PROJECT).ncd $(TMP)
-       -grep -A 8 -B 1 ^Selected\ Device tmp/build.xst.log
+       -grep -A 8 -B 1 ^Selected\ Device tmp/$(PROJECT).syr
        -grep -A 8 -B 1 ^Timing\ Summary tmp/build.xst.log
        -grep -A 21 -B 1 ^Design\ Summary tmp/build.map.log
 
Impressum, Datenschutz