diff --git a/test/zdtm.sh b/test/zdtm.sh index 4c3f2d20e..5ed405cec 100755 --- a/test/zdtm.sh +++ b/test/zdtm.sh @@ -125,6 +125,7 @@ static/rtc transition/maps007 static/dumpable01 static/dumpable02 +static/deleted_dev " # @@ -199,6 +200,7 @@ mountpoints inotify_irmap cgroup00 clean_mntns +deleted_dev " source $(readlink -f `dirname $0`/env.sh) || exit 1 diff --git a/test/zdtm/live/static/deleted_dev.c b/test/zdtm/live/static/deleted_dev.c index 656015e3b..f6140118f 100644 --- a/test/zdtm/live/static/deleted_dev.c +++ b/test/zdtm/live/static/deleted_dev.c @@ -49,7 +49,7 @@ int main(int argc, char **argv) } if (st.st_mode != mode || st.st_rdev != dev) { - fail("%s is no longer the device file we had"); + fail("%s is no longer the device file we had", filename); goto out; }