- fixed broken target clean in Makefiles.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 14 Feb 2000 19:35:14 +0000 (19:35 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 14 Feb 2000 19:35:14 +0000 (19:35 +0000)
- cosmetic fixes.

cint/Makefile.am
cint/Makefile.in
cint/ginaccint.bin.cpp

index f1b66f1a0f14c3a769eb3674cf41f9dbc77efd84..de945b55da50c41db69cb17ac26da30302e47613 100644 (file)
@@ -32,6 +32,6 @@ makecint_clean:
        (if [ -f Makefile.makecint ]; then $(MAKE) -f Makefile.makecint clean; fi)
 
 clean: makecint_clean
-       -rm -f libginac.*
+       -rm -f libginac*
 
 distclean: makecint_clean
index 5d5d813e8f51c30f41b8d7eac2b521599ba333a1..43dc2d8f18bbcc4932feedd339627941c636979d 100644 (file)
@@ -504,7 +504,7 @@ makecint_clean:
        (if [ -f Makefile.makecint ]; then $(MAKE) -f Makefile.makecint clean; fi)
 
 clean: makecint_clean
-       -rm -f libginac.*
+       -rm -f libginac*
 
 distclean: makecint_clean
 
index 109583378447345e9247b41d69225df0152218b8..23cb38bd3b502802ad0d1aa69e6dccae2970ff91 100644 (file)
@@ -56,14 +56,16 @@ char first_non_whitespace_char(char const * s)
 {
     int l = strlen(s);
     int pos = 0;
-    while ((pos<l)&&is_whitespace_char(s[pos])) pos++;
+    while ((pos<l)&&is_whitespace_char(s[pos]))
+        pos++;
     return s[pos];
 }    
 
 char last_non_whitespace_char(char const * s)
 {
     int pos = strlen(s)-1;
-    while ((pos>=0) && is_whitespace_char(s[pos])) pos--;
+    while ((pos>=0) && is_whitespace_char(s[pos]))
+        pos--;
     return s[pos];
 }    
 
@@ -86,7 +88,7 @@ G__value exec_tempfile(string const & command)
     fout << "{" << endl << command << endl << "}" << endl;
     fout.close();
     G__store_undo_position();
-    retval=G__exec_tempfile(tmpfilename);
+    retval = G__exec_tempfile(tmpfilename);
     G__security_recover(stdout);
     remove(tmpfilename);
     free(tmpfilename);
@@ -165,7 +167,8 @@ int main(void)
     char *line;
     char prompt[G__ONELINE];
 
-    greeting();
+    if (isatty(0))
+        greeting();
 
     atexit(cleanup);
     signal(SIGTERM,sigterm_handler);
@@ -180,14 +183,14 @@ int main(void)
     while (!quit) {
         strcpy(prompt,"GiNaC> ");
         int open_braces = 0;
-        bool end_of_command=false;
+        bool end_of_command = false;
         string command;
         while (!end_of_command) {
             line = G__input(prompt);
             
             int pos = 0;
-            bool double_quote=false;
-            bool single_quote=false;
+            bool double_quote = false;
+            bool single_quote = false;
             while(line[pos]!='\0') {
                 switch(line[pos]) {
                 case '"':