We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bd7c1e2 commit ec7fde5Copy full SHA for ec7fde5
1 file changed
repro.in
@@ -232,7 +232,7 @@ function init_chroot(){
232
touch "$BUILDDIRECTORY/root/.repro-1"
233
lock_close 9
234
else
235
- if [ ! -d "$BUILDDIRECTORY/root/.repro-1" ]; then
+ if [ ! -f "$BUILDDIRECTORY/root/.repro-1" ]; then
236
error "Please delete $BUILDDIRECTORY and initialize the chroots again"
237
exit 1
238
fi
0 commit comments