2020-12-24 12:04:28 +03:00
|
|
|
#!/bin/bash
|
|
|
|
set -Eeuo pipefail
|
|
|
|
|
2020-12-24 12:56:46 +03:00
|
|
|
readonly clean_initial_build=${clean_inital_build:-false}
|
|
|
|
|
|
|
|
clean_build() {
|
|
|
|
local -r -x download_gettext=true
|
|
|
|
local -r -x clean=true
|
|
|
|
local -r -x build_libnvim=true
|
|
|
|
./bin/build_nvimserver_for_local_dev.sh
|
|
|
|
}
|
|
|
|
|
2020-12-24 12:04:28 +03:00
|
|
|
main() {
|
|
|
|
pushd "$(dirname "${BASH_SOURCE[0]}")/.." >/dev/null
|
2020-12-24 12:56:46 +03:00
|
|
|
if [[ "${clean_initial_build}" == true ]]; then
|
|
|
|
clean_build
|
|
|
|
fi
|
|
|
|
|
2020-12-24 12:44:24 +03:00
|
|
|
find NvimServer/NvimServer/Sources NvimServer/NvimServerTypes | grep -E '(\.h$|\.c$)' | entr -c ./bin/build_nvimserver_for_local_dev.sh
|
2020-12-24 12:04:28 +03:00
|
|
|
popd >/dev/null
|
|
|
|
}
|
|
|
|
|
|
|
|
main
|