From 4ccb4b9d27d09b5b83afda0c1123443c3b806672 Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Mon, 19 Dec 2016 17:40:41 +0100
Subject: Reuse old script for updating scala-scala

---
 scripts/update-scala-library | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 scripts/update-scala-library

(limited to 'scripts')

diff --git a/scripts/update-scala-library b/scripts/update-scala-library
new file mode 100755
index 000000000..24d788062
--- /dev/null
+++ b/scripts/update-scala-library
@@ -0,0 +1,5 @@
+#!/bin/bash -e
+
+baseDir=`pwd`
+. $baseDir/scripts/common
+update DarkDimius scala scala-scala dotty-library
-- 
cgit v1.2.3