Merge pull request #2012 from jempatel/master
authorJo-Philipp Wich <jo@mein.io>
Mon, 30 Jul 2018 14:07:00 +0000 (16:07 +0200)
committerGitHub <noreply@github.com>
Mon, 30 Jul 2018 14:07:00 +0000 (16:07 +0200)
fix compilation failure when luasrcdiet is being copied to non existing directory


Trivial merge