pgleeson commited on
Commit
c8a9cbe
·
1 Parent(s): 981242d

Allow regeneration

Browse files
Files changed (1) hide show
  1. generate.sh +5 -1
generate.sh CHANGED
@@ -1,6 +1,10 @@
1
  #!/bin/bash
2
  set -ex
3
 
 
 
 
 
4
 
5
  # Set the platform flag if we're on ARM
6
  arch=$(uname -m)
@@ -11,4 +15,4 @@ else
11
  fi
12
 
13
 
14
- docker build $platform_flag -t streamlittest .
 
1
  #!/bin/bash
2
  set -ex
3
 
4
+ no_cache_flag=""
5
+ if [[ ($# -eq 1) && ($1 == '-r') ]]; then
6
+ no_cache_flag="--no-cache"
7
+ fi
8
 
9
  # Set the platform flag if we're on ARM
10
  arch=$(uname -m)
 
15
  fi
16
 
17
 
18
+ docker build $platform_flag -t streamlittest $no_cache_flag .