This website requires JavaScript.
Explore
Help
Sign In
urbit
/
shrub
Watch
1
Star
1
Fork
0
You've already forked shrub
mirror of
https://github.com/urbit/shrub.git
synced
2024-12-22 10:21:31 +03:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
dc898c93ff
shrub
/
scripts
/
build
6 lines
91 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Rebuild the scripts without PKG_CONFIG_PATH hacks.
2018-04-03 21:15:17 +03:00
#!/bin/bash
mkdir ./build &> /dev/null
Use --buildtype instead of -Dbuildtype
2018-05-29 21:19:55 +03:00
meson . ./build --buildtype=release
Rebuild the scripts without PKG_CONFIG_PATH hacks.
2018-04-03 21:15:17 +03:00
ninja -C build
Reference in New Issue
Copy Permalink