From 4d12ec4ee2f9dbaaa4b62b92d73c9e78b8a595e8 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 14 Nov 2013 21:09:48 +0100 Subject: Remove unused testing-dir --- runtime/POSIX/testing-dir/a | 1 - runtime/POSIX/testing-dir/b | 1 - runtime/POSIX/testing-dir/c | 2 -- runtime/POSIX/testing-dir/d | 0 4 files changed, 4 deletions(-) delete mode 120000 runtime/POSIX/testing-dir/a delete mode 120000 runtime/POSIX/testing-dir/b delete mode 100755 runtime/POSIX/testing-dir/c delete mode 100644 runtime/POSIX/testing-dir/d (limited to 'runtime') diff --git a/runtime/POSIX/testing-dir/a b/runtime/POSIX/testing-dir/a deleted file mode 120000 index dc1dc0cd..00000000 --- a/runtime/POSIX/testing-dir/a +++ /dev/null @@ -1 +0,0 @@ -/dev/null \ No newline at end of file diff --git a/runtime/POSIX/testing-dir/b b/runtime/POSIX/testing-dir/b deleted file mode 120000 index b9251ec6..00000000 --- a/runtime/POSIX/testing-dir/b +++ /dev/null @@ -1 +0,0 @@ -/dev/random \ No newline at end of file diff --git a/runtime/POSIX/testing-dir/c b/runtime/POSIX/testing-dir/c deleted file mode 100755 index 2b45f6a5..00000000 --- a/runtime/POSIX/testing-dir/c +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -echo "Hello world!" diff --git a/runtime/POSIX/testing-dir/d b/runtime/POSIX/testing-dir/d deleted file mode 100644 index e69de29b..00000000 -- cgit 1.4.1