utils/genrandconfig: use randint instead of (undefined) randInt
authorAsaf Kahlon <asafka7@gmail.com>
Sat, 26 Oct 2019 14:20:56 +0000 (17:20 +0300)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sat, 26 Oct 2019 14:25:31 +0000 (16:25 +0200)
Fixes https://gitlab.com/buildroot.org/buildroot/-/jobs/333788455

Signed-off-by: Asaf Kahlon <asafka7@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
utils/genrandconfig

index 54d66e40d7cddcc06decaecb60c3189f024c4445..956773925264971d3e92fc5bf97efdd3e5515ec4 100755 (executable)
@@ -366,7 +366,7 @@ def gen_config(args):
         configlines.append("BR2_OPTIMIZE_2=y\n")
     if randint(0, 4) == 0:
         configlines.append("BR2_SYSTEM_ENABLE_NLS=y\n")
-    if randInt(0, 4) == 0:
+    if randint(0, 4) == 0:
         configlines.append("BR2_PIC_PIE=y\n")
 
     # Randomly enable BR2_REPRODUCIBLE 10% of times