makechrootpkg: Also look for -e as --noextract - devtools32

diff options

author	Jan Alexander Steffens (heftig) <jan.steffens@gmail.com>	2017-08-24 17:07:23 +0200
committer	Erich Eckner <git@eckner.net>	2017-08-25 10:15:34 +0200
commit	200b010de3892cbb9e74f69fb7d590afa384d3ae (patch)
tree	c5db044e954629c7f8d77a391eee6f705e822d69 /lib/common.sh
parent	6cf3f3eee2a0720e07f657200519449fd65c7525 (diff)

makechrootpkg: Also look for -e as --noextract

Diffstat (limited to 'lib/common.sh')

0 files changed, 0 insertions, 0 deletions