Added smart_proxies flag

1 files changed, 4 insertions, 0 deletions

diff --git a/bin/auto_compile b/bin/auto_compile
index f4c992bd948..88a8bd7b93d 100755
--- a/bin/auto_compile
+++ b/bin/auto_compile
@@ -41,6 +41,7 @@ $CMD = basename($0);
 $single_threaded = 0;
 $minimum_corba = 0;
 $ami = 0;
+$smart_proxies = 0;
 $dont_update = 0;
 $dont_run = 0;
 $pre_realclean = 0;
@@ -63,6 +64,9 @@ while ($#ARGV >= 0) {
   } elsif ($ARGV[0] eq "-ami") {
       $ami =1;
       shift;
+  } elsif ($ARGV[0] eq "-smart_proxies") {
+     $smart_proxies = 1;
+     shift
   }elsif ($ARGV[0] eq "-build_list") {
     shift;
     @BUILD_LIST = split (/,/, $ARGV[0]);