From 08be19fe28812684572d8d5311c74a25c02b2bf2 Mon Sep 17 00:00:00 2001
From: Michael Wolf <maw@pobox.com>
Date: Sat, 30 Sep 2023 17:16:50 -0600
Subject: [PATCH] Don't call get_os needlessly

---
 _reformat-common.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_reformat-common.bash b/_reformat-common.bash
index 10cfb56..f0dcec2 100644
--- a/_reformat-common.bash
+++ b/_reformat-common.bash
@@ -12,7 +12,7 @@ function get_os() {
     fi
 }
 
-OPERATING_SYSTEM=$(get_os)
+## OPERATING_SYSTEM=$(get_os)
 
 # For a given file, return its corresponding project root.
 function project_root() {