Merge pull request #10569 from jschmid1/wip-16918-hammer
authorNathan Cutler <presnypreklad@gmail.com>
Wed, 23 Nov 2016 21:44:19 +0000 (22:44 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Nov 2016 21:44:19 +0000 (22:44 +0100)
hammer: build/ops: make stop.sh more portable

Reviewed-by: Nathan Cutler <ncutler@suse.com>

Trivial merge