From d9f361f07191f70726f5d2feae12255652aacce0 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Mon, 19 Aug 2019 15:48:04 +0200
Subject: [PATCH] Detect changes in https://github.com/bebbo/gcc repository

---
 bump.php          | 17 ++++++++++++++++-
 gcc-latest-commit |  1 +
 2 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 gcc-latest-commit

diff --git a/bump.php b/bump.php
index 93ad657..e081a92 100755
--- a/bump.php
+++ b/bump.php
@@ -1,5 +1,5 @@
 #!/usr/bin/env php
-<?php
+<?php declare(strict_types=1);
 $tmp = file_get_contents(__DIR__ . '/Dockerfile');
 $old = substr($tmp, strpos($tmp, 'git checkout -qf ') + strlen('git checkout -qf '), 40);
 $new = trim(`git ls-remote https://github.com/bebbo/amiga-gcc.git | grep HEAD | awk '{ print $1}'`);
@@ -9,3 +9,18 @@ file_put_contents(
     str_replace($old, $new, $tmp)
 );
 
+$old = '';
+
+if (file_exists(__DIR__ . '/gcc-latest-commit')) {
+    $old = trim(file_get_contents(__DIR__ . '/gcc-latest-commit'));
+}
+
+$new = trim(`git ls-remote https://github.com/bebbo/gcc.git | grep HEAD | awk '{ print $1}'`);
+
+if ($old !== $new) {
+    print 'https://github.com/bebbo/gcc.git has new commits' . PHP_EOL;
+
+    file_put_contents(__DIR__ . '/gcc-latest-commit', $new);
+}
+
+
diff --git a/gcc-latest-commit b/gcc-latest-commit
new file mode 100644
index 0000000..a4dff53
--- /dev/null
+++ b/gcc-latest-commit
@@ -0,0 +1 @@
+9d6d884a23533914abf895793ece26a6e92505d6
\ No newline at end of file