diff options
| author | davidovski <david@davidovski.xyz> | 2023-02-02 14:10:02 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2023-02-02 14:10:02 +0000 |
| commit | f29d569cd33a73da5ad675f43a34ad53c5cc9bc6 (patch) | |
| tree | 76fe6267f8307e7630fc6f53ff99a9767ad40de0 /repo/re2 | |
| parent | 05d004dfe0c9a9d898fac8a4a0292ca2a74ca391 (diff) | |
Work
Diffstat (limited to 'repo/re2')
| -rw-r--r-- | repo/re2/re2.xibuild | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/repo/re2/re2.xibuild b/repo/re2/re2.xibuild index 4dd0e5d..7fd75b1 100644 --- a/repo/re2/re2.xibuild +++ b/repo/re2/re2.xibuild @@ -10,9 +10,10 @@ PKG_VER=2022.04.01 SOURCE="https://github.com/google/re2/archive/$(echo $PKG_VER | sed "s/\./-/g").tar.gz" build () { - make PREFIX=/usr + make prefix=/usr } package () { - make PREFIX=/usr DESTDIR=$PKG_DEST install + make prefix=/usr DESTDIR=$PKG_DEST install } + |