From 588bf67c1fc5d2e88b2cc480ab9762d35a75d7cf Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 1 May 2021 19:57:34 +0100
Subject: [PATCH] global: Make savefilename pub

The bundles code is going to want this.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/global.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/global.rs b/src/global.rs
index 3b7ff0b3..d7382fcc 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -940,7 +940,8 @@ enum SavefilenameParseResult {
   },
 }
 
-fn savefilename(name: &InstanceName, prefix: &str, suffix: &str) -> String {
+pub fn savefilename(name: &InstanceName, prefix: &str, suffix: &str)
+                    -> String {
   [ config().save_dir().as_str(), &"/", prefix ]
     .iter().map(Deref::deref)
     .chain(iter::once( name.to_string().as_str() ))
-- 
2.30.2