From da9bff2045b4bf021c8ad442c566efe0be5e4a36 Mon Sep 17 00:00:00 2001
From: Danya Berezun <danya.berezun@gmail.com>
Date: Tue, 5 Sep 2023 20:55:15 +0200
Subject: [PATCH] replace with make

---
 deploy_build.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 deploy_build.sh

diff --git a/deploy_build.sh b/deploy_build.sh
deleted file mode 100755
index c5b3f71ff..000000000
--- a/deploy_build.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-
-mkdir tmp-lama
-cp runtime/Std.i tmp-lama
-cp runtime/runtime.a tmp-lama
-cp -R stdlib/* tmp-lama