wbrawner/distribution
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Drop deprecated and broken make.

Browse source
This commit is contained in:
fewtarius 2023-08-24 21:08:28 +00:00
parent 1cf16378a5
commit 952694d8df
No known key found for this signature in database
GPG key ID: F4AE55305D1B8C1A
1 changed files with 1 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scripts/build_distro
View file

@ -37,13 +37,7 @@ then
rm -rf build.${DISTRO}-${DEVICE}.${ARCH}
fi
if [ ! -d "build.${DISTRO}-${DEVICE_ROOT}.${ARCH}" ]
then
echo "Building the device root (${DEVICE_ROOT})."
make ${DEVICE_ROOT}
fi
# Ensure the DEVICE_ROOT is built before DEVICE
# Ensure the DEVICE_ROOT is built before DEVICE
if [ ! -d "build.${DISTRO}-${DEVICE_ROOT}.${ARCH}" ]
then
echo "ERROR: Can't find build root build.${DISTRO}-${DEVICE_ROOT}.${ARCH}"