config/install.bat
author Johann Hofmann <jhofmann@mozilla.com>
Wed, 24 Jul 2019 15:00:05 +0200
changeset 544841 47b175f9c5be171ed185709b17fe6b665ba31dd6
parent 98983 f4157e8c410708d76703f19e4dfb61859bfe32d8
permissions -rw-r--r--
Bug 1568492 - Add default parameter to RPMGetIntPref. r=nhnt11 a=RyanVM Differential Revision: https://phabricator.services.mozilla.com/D39173

@echo off
rem This Source Code Form is subject to the terms of the Mozilla Public
rem License, v. 2.0. If a copy of the MPL was not distributed with this
rem file, You can obtain one at http://mozilla.org/MPL/2.0/.

@echo on

@if not exist %2\nul mkdir %2
@rm -f %2\%1
@cp %1 %2