diff options
| -rwxr-xr-x | utils/genrandconfig | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/utils/genrandconfig b/utils/genrandconfig index 883322552c..0d08570bc5 100755 --- a/utils/genrandconfig +++ b/utils/genrandconfig @@ -401,7 +401,8 @@ def gen_config(args): subprocess.check_call(["make", "O=%s" % args.outputdir, "-C", args.buildrootdir, "savedefconfig"]) - return 0 + return subprocess.call(["make", "O=%s" % args.outputdir, "-C", args.buildrootdir, + "core-dependencies"]) if __name__ == '__main__': |
