Filippo Giunchedi has submitted this change and it was merged. Change subject: add utility Makefile ......................................................................
add utility Makefile essentially a shortcut for common commands Bug: T78135 Change-Id: I6d7917d45e5502f2ef740f763c25df53fe41ff8d --- A Makefile 1 file changed, 5 insertions(+), 0 deletions(-) Approvals: Filippo Giunchedi: Verified; Looks good to me, approved diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..b1bfe0a --- /dev/null +++ b/Makefile @@ -0,0 +1,5 @@ +build: + sudo debirf make --root-build --no-warning debian-amd64 + +clean: + sudo rm -fr *-amd64/root *-amd64/.fakeroot-state* *-amd64/.bootstrap.log -- To view, visit https://gerrit.wikimedia.org/r/178848 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6d7917d45e5502f2ef740f763c25df53fe41ff8d Gerrit-PatchSet: 3 Gerrit-Project: operations/software/rescue-pxe Gerrit-Branch: master Gerrit-Owner: Filippo Giunchedi <[email protected]> Gerrit-Reviewer: Filippo Giunchedi <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
