This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.
|
#!/bin/sh
|
|
|
|
# Import missing source files and create the build system.
|
|
|
|
set -e -x
|
|
|
|
top_srcdir="$PWD"
|
|
export top_srcdir
|
|
|
|
git submodule init
|
|
git submodule update
|
|
|
|
./nix/sync-with-upstream
|
|
|
|
exec autoreconf -vfi
|