diff --git a/scripts/travis-build b/scripts/travis-build
index 584d008e41..0cb15a89e4 100755
--- a/scripts/travis-build
+++ b/scripts/travis-build
@@ -4,7 +4,7 @@ $CC --version
 
 # random config or default config
 if [[ "${RANDCONFIG}" == "y" ]]; then
-    make -C xen randconfig
+    make -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig
 else
     make -C xen defconfig
 fi