From ecc74167c598979833af88e7ebad54705e11543d Mon Sep 17 00:00:00 2001 From: Didier Raboud Date: Tue, 26 Feb 2019 11:59:35 +0100 Subject: [PATCH] Add vote script --- 914897_merged_usr/run_vote.sh | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 914897_merged_usr/run_vote.sh diff --git a/914897_merged_usr/run_vote.sh b/914897_merged_usr/run_vote.sh new file mode 100755 index 0000000..b87f33a --- /dev/null +++ b/914897_merged_usr/run_vote.sh @@ -0,0 +1,7 @@ +../scripts/pocket-devotee \ + --option 'W: `weak`: both directory schemes are allowed, but packages should only be built on hosts with classical directory schemes (or in such chroots)' \ + --option 'M: `middle`: both directory schemes are allowed, and packages (including official packages) can be built on hosts with either classical or "merged `/usr`" directory schemes' \ + --option 'H: `hard`: both directory schemes are allowed, but packages should only be built on hosts with "merged `/usr`" directory schemes (or in such chroots)' \ + --option 'FD: Further Discussion' < M > W > FD +EOF -- 2.39.2