diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2020-05-14 11:11:47 +0200 |
|---|---|---|
| committer | Xiretza <xiretza@xiretza.xyz> | 2020-05-14 11:18:35 +0200 |
| commit | 204e8b6fc63d0abe3e83673d8198fe4ac8d99350 (patch) | |
| tree | 997144da3bd678eec74e6586a9d1c9aa29dea33d /Makefile | |
| parent | 27b7ffc75444583bbecc70e2d7e2e84bc321f2cf (diff) | |
| download | yosys-204e8b6fc63d0abe3e83673d8198fe4ac8d99350.tar.gz yosys-204e8b6fc63d0abe3e83673d8198fe4ac8d99350.tar.bz2 yosys-204e8b6fc63d0abe3e83673d8198fe4ac8d99350.zip | |
Suppress warning during initial clone of ABC repo
9dedac50 introduced this harmless but disconcerting warning, which was emitted
when abc/ did not yet exist and was about to be cloned:
/bin/sh: line 0: cd: abc: No such file or directory
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -717,7 +717,7 @@ ifneq ($(ABCREV),default) echo 'REEBE: NOP pbagnvaf ybpny zbqvsvpngvbaf! Frg NOPERI=qrsnhyg va Lbflf Znxrsvyr!' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; false; \ fi # set a variable so the test fails if git fails to run - when comparing outputs directly, empty string would match empty string - $(Q) if ! (cd abc && rev="`git rev-parse $(ABCREV)`" && test "`git rev-parse HEAD`" == "$$rev"); then \ + $(Q) if ! (cd abc 2> /dev/null && rev="`git rev-parse $(ABCREV)`" && test "`git rev-parse HEAD`" == "$$rev"); then \ test $(ABCPULL) -ne 0 || { echo 'REEBE: NOP abg hc gb qngr naq NOPCHYY frg gb 0 va Znxrsvyr!' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; exit 1; }; \ echo "Pulling ABC from $(ABCURL):"; set -x; \ test -d abc || git clone $(ABCURL) abc; \ |