CI: attempt to fix pipeline

0xbigshaq · Apr 22, 2024 · f47f771 · f47f771
1 parent a79e308
commit f47f771
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -33,7 +33,7 @@ QEMU_OPTS=-smp $(CPUS) -m 512 -serial pty -serial stdio
 dirsetup:
 	mkdir -p $(DRIVERS_OBJ_DIR)
 	mkdir -p $(KERN_OBJ_DIR)
-	./gen_vectors.py > $(KERN_SRC_DIR)/trap_dispatcher.S
+	python3 ./gen_vectors.py > $(KERN_SRC_DIR)/trap_dispatcher.S
 
 
 # drivers

diff --git a/deps-container.sh b/deps-container.sh
@@ -21,8 +21,8 @@ DEBIAN_FRONTEND=noninteractive sudo apt install \
     -y
 
 
-git clone --branch main https://github.com/hugsy/gef.git /root/gef/
-echo "source /root/gef/gef.py" > ~/.gdbinit 
+git clone --branch main https://github.com/hugsy/gef.git $HOME/gef/
+echo "source $HOME/gef/gef.py" > ~/.gdbinit 
 echo "add-auto-load-safe-path /share/.gdbinit" >> ~/.gdbinit
 
 pip3 install compiledb