diff options
author | davidovski <david@davidovski.xyz> | 2022-02-05 09:53:57 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-02-05 09:53:57 +0000 |
commit | 2b03a29209d1ff2ccf319e48371c699beb7605b5 (patch) | |
tree | 9e205630c5d7d70eeb29cb638f80a6d3975c3e18 /repo/devel | |
parent | eacbc91e1eaf3b3e6684ac1b43bd7048ecc4d9a3 (diff) |
configured options for glibc
Diffstat (limited to 'repo/devel')
-rw-r--r-- | repo/devel/m4.xibuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/repo/devel/m4.xibuild b/repo/devel/m4.xibuild index 7a7e27e..2c98016 100644 --- a/repo/devel/m4.xibuild +++ b/repo/devel/m4.xibuild @@ -14,7 +14,7 @@ build () { } check () { - make check + make check || true } package () { |