From e5a39d8dfb7660a2c5ff8672f8a6e405dcadbeb7 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Tue, 11 Feb 2020 13:50:05 -0800
Subject: [PATCH] Replace ints with strings

---
 .drone.jsonnet | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/.drone.jsonnet b/.drone.jsonnet
index 7d08391..f875be0 100644
--- a/.drone.jsonnet
+++ b/.drone.jsonnet
@@ -1,8 +1,12 @@
+local compiler_versions = [
+    "04", "05", "06", "07", "08", "09"
+];
 local test_compiler_version(version) = [
-    "cd code/compiler/09",
+    "cd code/compiler/%(version)",
     "mkdir build && cd build",
     "cd .."
-]
+];
+
 {
     "kind": "pipeline",
     "type": "docker",
@@ -11,7 +15,7 @@ local test_compiler_version(version) = [
         {
             "name": "test-compiler",
             "image": "gcc",
-            "commands": std.flatMap(test_compiler_version, [4,5,6,7,8,9])
+            "commands": std.flatMap(test_compiler_version, compiler_versions)
         }
     ]
 }