ddragosd commented on a change in pull request #77: Fixes a few linux issues
with the makefile
URL:
https://github.com/apache/incubator-openwhisk-devtools/pull/77#discussion_r160179650
##########
File path: docker-compose/Makefile
##########
@@ -163,7 +173,11 @@ destroy: stop rm
docker ps | grep whisk | awk '{print $$1}' | xargs docker stop | xargs
docker rm
echo "cleaning dangling docker volumes ... "
docker volume ls -qf dangling=true | xargs docker volume rm
- rm -rf ~/tmp/openwhisk
+ if [ "$(UNAME_STR)" = "Linux" ]; then \
+ sudo rm -rf ~/tmp/openwhisk ;\
Review comment:
is the `sudo` here for Travis ? Else I'm reading that the current user can't
delete things in its own home folder ?
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
With regards,
Apache Git Services
