diff options
author | Iru Cai | 2018-11-23 12:57:19 +0800 |
---|---|---|
committer | Iru Cai | 2018-11-23 12:57:19 +0800 |
commit | bd51d433f3f644de9e7f50d5090b3ae20351b969 (patch) | |
tree | 34c025729df493b798b6133a02f1f4edf8798310 | |
parent | cfeb3739fc79cdc1871ae00435285eb7c19e1501 (diff) | |
download | aur-bd51d433f3f644de9e7f50d5090b3ae20351b969.tar.gz |
remove time in run_rustc/Makefile
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -22,6 +22,8 @@ build() { cp -r /usr/share/mrustc/run_rustc "$WORK" cd "$WORK" + sed -i 's/time//g' run_rustc/Makefile + cd rustc-1.19.0-src patch -p1 -i "$srcdir/openssl.patch" |