From 1e69f4ac4e591e9f9de3e05d93bd1125d4323c7c Mon Sep 17 00:00:00 2001
From: Danilo Bargen <mail@dbrgn.ch>
Date: Fri, 22 Jan 2016 08:28:23 +0100
Subject: [PATCH] Make it possible to override the OS

---
 src/main.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index 3c1f82b..ad6df8b 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -130,8 +130,13 @@ fn main() {
         process::exit(0);
     }
 
+    // Specify target OS
+    let os: OsType = match args.flag_os {
+        Some(os) => os,
+        None => get_os(),
+    };
+
     // Initialize cache
-    let os: OsType = get_os();
     let cache = Cache::new(ARCHIVE_URL, os);
 
     // Clear cache, pass through