make kernels in binder environment

MartinSchobben · MartinSchobben · commit eef2892000c7 · 2025-01-13T16:03:21.000+01:00
diff --git a/postBuild b/postBuild
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+set -x
+
+make kernel

-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +#!/bin/bash
++
 +set -x
++
 +make kernel