1
0
Fork 0
mirror of https://github.com/pygos/build.git synced 2024-06-26 05:00:11 +02:00
Go to file
David Oberhollenzer 05ae80634c Don't keep build directory
Use $PKGBUILDDIR for building packages. Delete it again after
the deploy is done. If the build fails, the script aborts and it
is kept. If the build and deploy pass, there is no reason to keep
it around.

Signed-off-by: David Oberhollenzer <david.oberhollenzer@tele2.at>
2018-02-17 03:02:15 +01:00
board Use regular packaging for toolchain packages if applicable 2018-02-17 03:02:15 +01:00
pkg Don't keep build directory 2018-02-17 03:02:15 +01:00
util Don't keep build directory 2018-02-17 03:02:15 +01:00
.gitignore Initial commit 2018-01-29 10:17:30 +01:00
mk.sh Don't keep build directory 2018-02-17 03:02:15 +01:00