diff options
Diffstat (limited to 'admin/emake')
-rwxr-xr-x | admin/emake | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/admin/emake b/admin/emake index 548611c6afc..8b2114b3f8c 100755 --- a/admin/emake +++ b/admin/emake @@ -20,7 +20,7 @@ if [ -f /proc/cpuinfo ]; then sed 's/^[0-9]*/+/'))) fi -make -j$cores "$@" 2>&1 | \ +make FAST=true -j$cores "$@" 2>&1 | \ sed -u 's# \.\./\.\./# # s# \.\./# # s#^Configuring local git # Configuring local git # @@ -29,7 +29,7 @@ s#^Running # Running # s#^Configured for # Configured for # s#^./temacs.*# \\& # s#^make.*Error# \\& # -s#^Dumping under the name# \\& # +s#^Dumping under the name.*# \\& # ' | \ grep -E --line-buffered -v "^make|\ ^Loading|\ |