From f6c09f3be0b1bf6ee9d18d291e24188af6281f90 Mon Sep 17 00:00:00 2001
From: tamionv <tamionv@gmail.com>
Date: Sun, 20 May 2018 02:05:18 +0100
Subject: [PATCH] Delete build_test.sh

---
 build_test.sh | 50 --------------------------------------------------
 1 file changed, 50 deletions(-)
 delete mode 100755 build_test.sh

diff --git a/build_test.sh b/build_test.sh
deleted file mode 100755
index 756cb33..0000000
--- a/build_test.sh
+++ /dev/null
@@ -1,50 +0,0 @@
-#!/bin/bash
-#
-# This builds test $problemname.$1 using ingen, incf/$1 and okgen
-# Tamio-Vesa Nakajima
-
-# include the library
-source lib.sh
-
-# Get problem name
-problemname=`cat problemname`
-
-# Make stage (as git deletes it)
-mkdir stage
-
-#################
-# Build input:
-#################
-
-# Build input generator
-try "cd ingen && make -s && cd .." "input generator build fail"
-
-# Copy ingen/ingen.bin and incf/$1 into stage, building an empty cf if none exists
-cp ingen/ingen.bin stage/$problemname.bin
-maybecp incf/$1 stage/$problemname.cf
-
-# Build input
-try "cd stage && ./$problemname.bin > ../tests/$problemname-$1.in && cd .." "input generation fail"
-
-# Clean stage
-rm stage/*
-
-###################
-# Build ok
-###################
-
-# Build ok generator
-try "cd okgen && make -s && cd .." "ok generator build fil"
-
-# Copy ok generator and input into stage
-cp okgen/okgen.bin stage/$problemname.bin
-cp tests/$problemname-$1.in stage/$problemname.in
-
-# Build ok
-try "cd stage && ./$problemname.bin && cd .." "ok generation fail"
-
-# Copy ok from stage into tests
-cp stage/$problemname.out tests/$problemname-$1.ok
-
-# Clean stage
-rm stage/*