Fix unknown hostname

zzambers · Jul 9, 2024 · 789c9b2 · 789c9b2
1 parent e1cefed
commit 789c9b2
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/submit.yml b/.github/workflows/submit.yml
@@ -1400,6 +1400,13 @@ jobs:
       - name: Select Xcode version
         run: sudo xcode-select --switch /Applications/Xcode_14.3.1.app/Contents/Developer
 
+      - name: Fix unknown hostname
+        run: |
+          hostname
+          cat /etc/hosts
+          echo "127.0.0.1 $( hostname )" >> /etc/hosts
+          cat /etc/hosts
+
       - name: Configure
         run: >
           bash configure
@@ -1517,6 +1524,13 @@ jobs:
       - name: Select Xcode version
         run: sudo xcode-select --switch /Applications/Xcode_14.3.1.app/Contents/Developer
 
+      - name: Fix unknown hostname
+        run: |
+          hostname
+          cat /etc/hosts
+          echo "127.0.0.1 $( hostname )" >> /etc/hosts
+          cat /etc/hosts
+
       - name: Run tests
         run: >
           chmod +x "${HOME}/jtreg/bin/jtreg" &&