Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  coq-pf-04-installer.bat

  Sprache: BAT
 

REM build the installer artifact

REM XXX: make this a variable with the branch name
cd platform-*

REM XXX: This is redundant with the previous scripts, we could centralize it
REM In fact, the variable is only needed to access bash
SET CYGROOT=C:\ci\cygwin%ARCH%
SET BASH=%CYGROOT%\bin\bash

MKDIR %GITHUB_WORKSPACE%\artifacts

%BASH% --login -c "pwd && ls -la && cd /platform && windows/create_installer_windows.sh" || GOTO ErrorExit

REM Output is in cygwin home; in general the script has a bit of a
REM mess in terms of using the GITHUB_WORKSPACE sometimes, and the
REM CYGWIN home some others. I use the path here directly as to avoid
REM issues with quoting, which in the previous script required some
REM really obscure code.
COPY /v /b %CYGROOT%\platform\windows_installer\*.exe %GITHUB_WORKSPACE%\artifacts || GOTO ErrorExit

GOTO :EOF

:ErrorExit
  ECHO ERROR %0 failed
  EXIT /b 1

Messung V0.5 in Prozent
C=66 H=34 G=51

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-17) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=141584
#Domains=752002