From 8f337a7333d7c5fe578dc4adeb8aec54176490bf Mon Sep 17 00:00:00 2001
From: Matthew Kilgore <mattkilgore12@gmail.com>
Date: Wed, 11 May 2022 00:11:55 -0400
Subject: [PATCH] Run make clean before creating distribution

---
 .ci/make-dist.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.ci/make-dist.sh b/.ci/make-dist.sh
index 40ac08b84..0a5924952 100755
--- a/.ci/make-dist.sh
+++ b/.ci/make-dist.sh
@@ -1,5 +1,17 @@
 #!/bin/bash
 
+case "$buildPlatform" in
+    windows-latest)
+        ./internal/c/c_compiler/bin/mingw32-make.exe OS=win clean
+        ;;
+    ubuntu-latest)
+        make OS=lnx clean
+        ;;
+    macos-latest)
+        make OS=osx clean
+        ;;
+esac
+
 buildPlatform=$1
 format=