[petsc-dev] --force goes into reconfigure file

[Balay, Satish]

Fixed in

https://bitbucket.org/petsc/petsc/pull-requests/1760/configure-do-not-save-force-option-in/diff

Satish

On Thu, 6 Jun 2019, Smith, Barry F. via petsc-dev wrote:

>   which will also force a another configure even though non is needed
> 
> #!/usr/local/opt/python at 2/bin/python2.7
> if __name__ == '__main__':
>   import sys
>   import os
>   sys.path.insert(0, os.path.abspath('config'))
>   import configure
>   configure_options = [
>     '--force',
>     'PETSC_ARCH=arch-debug',
>   ]
>   configure.petsc_configure(configure_options)
> ~/Src/petsc (barry/optimize-aij-da *) arch-debug
> $ arch-debug/lib/petsc/conf/reconfigure-arch-debug.py 
> ===============================================================================
>              Configuring PETSc to compile on your system                       
> 
>